Analysis of path exclusion at the machine code level

نویسندگان

  • Ingmar Stein
  • Florian Martin
چکیده

We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Presburger formulas.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transformation of Path Information for WCET Analysis during Compilation

Performing worst case execution time WCET analysis on machine code with program path annota tion provided at high level source code level requires the transformation of path annotations from the source code level to assembly object code level This path information transformation can be done outside or in tegrated into the compiler during code compilation The rst approach is easier to implement ...

متن کامل

Analysis of path exclusions at the machine code level

We present a method to find static path exclusions in a control flow graph in order to refine the WCET analysis. Using this information, some infeasible paths can be discarded during the ILP-based longest path analysis which helps to improve precision. The new analysis works at the assembly level and uses the Omega library to evaluate Presburger formulas.

متن کامل

Evaluating the Effects of Field Size on Beam Homogeneity Coefficient in the Superficial Radiotherapy Machine Using Empirical Method and Simulation

Introduction Superficial X-ray therapy is one of the most important treatment methods in radiotherapy especially in the treatment of superficial skin lesions (Up to 300 kVp). Quality of the X-ray beam that can be expressed by Half-Value Layer (HVL), are important indices for this type of treatment effective energy of photon and Homogeneity Coefficient (HC). Materials and Methods The HC of the s...

متن کامل

A Data Mining approach for forecasting failure root causes: A case study in an Automated Teller Machine (ATM) manufacturing company

Based on the findings of Massachusetts Institute of Technology, organizations’ data double every five years. However, the rate of using data is 0.3. Nowadays, data mining tools have greatly facilitated the process of knowledge extraction from a welter of data. This paper presents a hybrid model using data gathered from an ATM manufacturing company. The steps of the research are based on CRISP-D...

متن کامل

Contour Crafting Process Plan Optimization Part II: Multi–Machine Cases

Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007